QLB: A Quantified Logic for Belief
نویسندگان
چکیده
This paper describes QLB, a quantified logic of belief that is a possible extension of the modal system KD45n to predicate level. The main features of QLB are that: (i) it is allowed to quantify over the agents of belief; (ii) the belief operator can be indexed by any term of the formal language; (iii) terms are not rigid designators, but are interpreted contextually; (iv) automatic theorem proving is possible in QLB (but it is not presented in this paper). QLB is constructed as a partial logic with a monotonic semantics on ordered sets, and its semantic theorems are defined as the formulae that are sometimes true and never false.
منابع مشابه
Programmable architecture for quantum computing
A programmable architecture called “quantum FPGA (field-programmable gate array)” (QFPGA) is presented for quantum computing, which is a hybrid model combining the advantages of the qubus system and the measurement-based quantum computation. There are two kinds of buses in QFPGA, the local bus and the global bus, which generate the cluster states and general multiqubit rotations around the z ax...
متن کاملbelief function and the transferable belief model
Beliefs are the result of uncertainty. Sometimes uncertainty is because of a random process and sometimes the result of lack of information. In the past, the only solution in situations of uncertainty has been the probability theory. But the past few decades, various theories of other variables and systems are put forward for the systems with no adequate and accurate information. One of these a...
متن کاملDecision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
A deduction-based decision procedure for a fragment of mutual belief logic with quantified agent variables (MBQL) is presented. A language of MBQL contains variables and constants for agents. The language ofMBQL is convenient to describe properties of rational agents when the number of agents is not known in advance. The multi-modal logic KD45n extended with restricted occurrences of quantifier...
متن کاملA Belief-Function Logic
We present BFL, a hybrid logic for representing uncertain knowledge. BFL attaches a quantified notion of belief based on Dempster-Shafer’s theory of belief functions to classical first-order logic. The language of BFL is composed of objects of the form F:[a,b], where F is a first-order sentence, and Q and b are numbers in the [O,l] interval (with c&b). Intuitively, a measures the strength of ou...
متن کاملDecision Procedure for a Fragment of Temporal Logic of Belief and Actions with Quantified Agent and Action Variables
A decision procedure for a fragment of temporal logic of belief and action with quantified agent and actions variables (TLBAQ) is presented. A language of TLBAQ contains variables and constants for agents and actions. The language of TLBAQ is a subset of language LORA introduced by M. Wooldridge. The TLBAQ consists of two components: informational and dynamic. An informational (agent) component...
متن کامل